ZANTEMA, HANS: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Transforming equality logic to propositional logic

Hans Zantema, Jan Friso Groote

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 660 KB

english, 2003

2

A Probabilistic Analysis of the Game of the Goose

Groote, Jan Friso, Wiedijk, Freek, Zantema, Hans

Journal:

Year:

2016

Language:

english

File:

PDF, 15.08 MB

english, 2016

3

Total Termination of Term Rewriting is Undecidable

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 537 KB

1995

4

A Transformational Approach to Prove Outermost Termination Automatically

Matthias Raffelsieper, Hans Zantema

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 352 KB

english, 2009

5

Simple termination of rewrite systems

Aart Middeldorp, Hans Zantema

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.25 MB

english, 1997

6

Termination modulo equations by abstract commutation with an application to iteration

Wan Fokkink, Hans Zantema

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

7

Simulating Liveness by Reduction Strategies

Jürgen Giesl, Hans Zantema

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 215 KB

english, 2003

8

Adding constants to string rewriting

René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2008

Language:

english

File:

PDF, 177 KB

english, 2008

9

A Complete Characterization of Termination of 0p 1q→ 1r 0s

Hans Zantema, Alfons Geser

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2000

Language:

english

File:

PDF, 166 KB

english, 2000

10

Matrix Interpretations for Proving Termination of Term Rewriting

Jörg Endrullis, Johannes Waldmann, Hans Zantema

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 487 KB

english, 2008

11

The N-terminal transactivation domain of ATF2 is a target for the co-operative activation of the c-jun promoter by p300 and 12S E1A

Duyndam, Monique CA, van Dam, Hans, Smits, Paul HM, Verlaan, Matty, van der Eb, Alex J, Zantema, Alt

Journal:

Year:

1999

Language:

english

File:

PDF, 312 KB

english, 1999

12

Non-Looping String Rewriting

Geser, Alfons, Zantema, Hans

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

1999

Language:

english

File:

PDF, 24 KB

english, 1999

13

Relative Undecidability in Term Rewriting: I. The Termination Hierarchy

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 243 KB

english, 2002

14

Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 142 KB

english, 2002

15

On tree automata that certify termination of left-linear term rewriting systems

Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 367 KB

english, 2007

16

Generalizing DPLL and satisfiability for equalities

Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 209 KB

english, 2007

17

Levels of undecidability in rewriting

Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 416 KB

english, 2011

18

A rewriting approach to binary decision diagrams

Hans Zantema, Jaco van de Pol

Journal:

The Journal of Logic and Algebraic Programming

Year:

2001

Language:

english

File:

PDF, 237 KB

english, 2001

19

Conformational Changes in Bovine-Liver Glutamate Dehydrogenase: a Spin-Label Study

Alt ZANTEMA, Hans J. VOGEL, George T. ROBILLARD

Journal:

Year:

1979

Language:

english

File:

PDF, 1000 KB

english, 1979

20

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Order-Independence of Vector-Based Transition Systems

Raffelsieper, Matthias, Mousavi, MohammadReza, Zantema, Hans

Year:

2010

Language:

english

File:

PDF, 298 KB

english, 2010

21

FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS

GESER, ALFONS, HOFBAUER, DIETER, WALDMANN, JOHANNES, ZANTEMA, HANS

Journal:

International Journal of Foundations of Computer Science

Year:

2005

Language:

english

File:

PDF, 945 KB

english, 2005

22

SIZES OF ORDERED DECISION TREES

ZANTEMA, HANS, BODLAENDER, HANS L.

Journal:

International Journal of Foundations of Computer Science

Year:

2002

Language:

english

File:

PDF, 1.26 MB

english, 2002

23

FINDING SMALL EQUIVALENT DECISION TREES IS HARD

ZANTEMA, HANS, BODLAENDER, HANS L.

Journal:

International Journal of Foundations of Computer Science

Year:

2000

Language:

english

File:

PDF, 1.83 MB

english, 2000

24

TURTLE GRAPHICS OF MORPHIC SEQUENCES

Journal:

Year:

2016

Language:

english

File:

PDF, 1.52 MB

english, 2016

25

Ordering sequences by permutation transducers

Bosma, Wieb, Zantema, Hans

Journal:

Indagationes Mathematicae

Year:

2017

Language:

english

File:

PDF, 389 KB

english, 2017

26

Finding small counterexamples for abstract rewriting properties

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 191 KB

english, 2018

27

Slowly synchronizing automata with fixed alphabet size

Don, Henk, Zantema, Hans, de Bondt, Michiel

Journal:

Information and Computation

Year:

2020

File:

PDF, 1.69 MB

2020

28

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond1

Tveretina, Olga, Sinz, Carsten, Zantema, Hans

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2010

File:

PDF, 549 KB

2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски